State estimation and detectability of probabilistic discrete event systems
نویسندگان
چکیده
منابع مشابه
State estimation and detectability of probabilistic discrete event systems
A probabilistic discrete event system (PDES) is a nondeterministic discrete event system where the probabilities of nondeterministic transitions are specified. State estimation problems of PDES are more difficult than those of non-probabilistic discrete event systems. In our previous papers, we investigated state estimation problems for non-probabilistic discrete event systems. We defined four ...
متن کاملDetectability in Stochastic Discrete Event Systems
In this paper we define and analyze notions of detectability in stochastic discrete event systems (SDES). More specifically, we introduce the notions of A-detectability and AA-detectability which focus on characterizing our ability to estimate the true current state of a given SDES with increasing certainty as we observe more output symbols. We discuss observer-based techniques that can be used...
متن کاملDecentralized prognosis of fuzzy discrete-event systems
This paper gives a decentralized approach to the problem of failure prognosis in the framework of fuzzy discrete event systems (FDES). A notion of co-predictability is formalized for decentralized prognosis of FDESs, where several local agents with fuzzy observability rather than crisp observability are used in the prognosis task. An FDES is said to be co-predictable if each faulty event can be...
متن کاملComplexity of Deciding Detectability in Discrete Event Systems
Detectability of discrete event systems (DESs) is a question whether the current and subsequent states can be determined based on observations. Shu and Lin designed a polynomial-time algorithm to check strong (periodic) detectability and an exponential-time (polynomialspace) algorithm to check weak (periodic) detectability. Zhang showed that checking weak (periodic) detectability is PSpace-comp...
متن کاملA Protocol for Distributed State Estimation in Discrete Event Systems
We propose a protocol for distributed state estimation, where distributed observers share their state estimation information through bounded-delay channels. A synchronized truncation strategy is proposed to further reduce the space and time complexity. An example is provided to illustrate the proposed distributed state-estimation protocol.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Automatica
سال: 2008
ISSN: 0005-1098
DOI: 10.1016/j.automatica.2008.05.025